Søren Holm: Grundtvig und Kierkegaard. Parallelen und kontraste

Modellierung und Verifikation von verteilten/parallelen Informationssystemen

Petri nets are used in many fields as modelling technique. The different usage areas and modelling objectives require different classes of Petri nets. Powerful high level Petri nets and especially coloured Petri nets are well suited for describing behavior of distributed information systems in order to verify and analyse them. Extended coloured Petri nets with structured marks are presented in ...

SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System

Separable Partikelverben und Verben mit typischen Adverbialen - Systematische Kontraste Deutsch-Französisch / Französisch-Deutsch

Unser Ziel ist die Entwicklung von bilingualen (elektronischen) Lexika DeutschFranzösisch/Französisch-Deutsch und die Entwicklung von Übersetzungshilfen. Gleichzeitig wollen wir linguistische Vorund Zuarbeit liefern für das lexikalische Parsing in diesen Sprachen im Rahmen der Finite-State Technologie (z. B. für INTEX (Unitex), Silberztein 1993; Paumier 2000 oder CISLEX, Guenthner/Maier-Meyer 1...

beitraege zur kenntnis der bombyces und sphinges irans die arten und formen der gattungen berutana und deilephila (lep. sphingidae)

0

Meister Eckharts Lehre vom Ursprung und Ziel des Menschen